Building a Minimal Spanning Tree for the #2SAT Problem

Authors: Guillermo De Ita, Meliza Contreras, Pedro Bello

Research in Computing Science, Vol. 45, pp. 15-26, 2010.

PDF: Building a Minimal Spanning Tree for the #2SAT Problem
PDF: Building a Minimal Spanning Tree for the #2SAT Problem